Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
31	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
32	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
33	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
34	PDF Document Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:30 Logic in computer science Formal methods Mathematical logic Notation Programming language Formal verification Semantics Structure Program transformation Logic programming Model theory Denotational semantics
35	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
36	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket
37	Programming Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:35:58 Public-key cryptography Semantics Inter-process communication Communications protocol Data transmission Interpretation Futures and promises Digital signature Logic Language Computing
38	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2016-03-01 11:02:40 Software engineering Computing Computer programming Logic in computer science Object-oriented programming languages Programming language semantics SCOOP Semantics Eiffel Operational semantics Concurrency Actor model
39	Spotting Automatically Cross-Language Relations Federico Tomassetti Giuseppe Rizzo Marco Torchiano Add to Reading List Source URL: giusepperizzo.github.io Language: English - Date: 2015-12-06 12:53:25 Cross-platform software Scripting languages Computational linguistics JavaScript Web programming Semantic similarity Semantics Java Abstract syntax tree Modeling language Domain-specific language Reserved word
40	from python import lecture A gentle introduction to the python programming language Muli Ben-Yehuda Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:09 Subroutines Functional programming Lambda calculus Anonymous function Parameter List comprehension Python syntax and semantics Lazy evaluation

UPDATE